@page
@{ throw new Exception("This should not be rendered."); }
